Steffen Pedersen's Documents

Steffen Pedersen's Documents

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Read more
Microfluidic Technologies for Miniaturized Analysis Systems

Microfluidic Technologies for Miniaturized Analysis Systems
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96

Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Read more
Rainbows End

Rainbows End
Read more
FrontPage 2002. Professionelle Websites entwickeln GERMAN

FrontPage 2002. Professionelle Websites entwickeln GERMAN
Read more
Praxis der Dialyse

Praxis der Dialyse
Read more
Thiele, pioneer in statistics

Thiele, pioneer in statistics
Read more
KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, ... 20th

KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, ... 20th
Read more
The Barbarian Princess

The Barbarian Princess
Read more
Politikberatung und Lobbying in Brüssel

Politikberatung und Lobbying in Brüssel
Read more
Webapplication Development mit ColdFusion 4.5

Webapplication Development mit ColdFusion 4.5
Read more
Die Herstellung einer offentlichen Hegemonie

Die Herstellung einer offentlichen Hegemonie
Read more
Technological Singularity

Technological Singularity
Read more
Host-Pathogen Interactions. Methods and Protocols

Host-Pathogen Interactions. Methods and Protocols
Read more
The Peace War

The Peace War
Read more
Graphical Models

Graphical Models
Read more
Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004

Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004
Read more
Praxis der Nephrologie, 3. Auflage

Praxis der Nephrologie, 3. Auflage
Read more
Einstieg in Linux: Linux verstehen und einsetzen, 4. Auflage

Einstieg in Linux: Linux verstehen und einsetzen, 4. Auflage
Read more
Einstieg in Linux: Linux verstehen und einsetzen, 4. Auflage

Einstieg in Linux: Linux verstehen und einsetzen, 4. Auflage
Read more
Dahmer's Not Dead

Dahmer's Not Dead
Read more
Learn IPhone 5 and IPad 2 Cocos2D Game Development

Learn IPhone 5 and IPad 2 Cocos2D Game Development
Read more
Gypsy Scholars, Migrant Teachers and the Global Academic Proletariat: Adjunct Labour in Higher Education. (At the Interface)

Gypsy Scholars, Migrant Teachers and the Global Academic Proletariat: Adjunct Labour in Higher Education. (At the Interface)
Read more
Schlusselwerke der Politikwissenschaft

Schlusselwerke der Politikwissenschaft
Read more
Vom Geben und Nehmen: Zur Soziologie der Reziprozität (Theorie und Gesellschaft)

Vom Geben und Nehmen: Zur Soziologie der Reziprozität (Theorie und Gesellschaft)
Read more
Erfolgreich gegen Zwangsstörungen: Metakognitives Training - Denkfallen erkennen und entschärfen, 2. Auflage

Erfolgreich gegen Zwangsstörungen: Metakognitives Training - Denkfallen erkennen und entschärfen, 2. Auflage
Read more
Portrait of the Psychopath as a Young Woman

Portrait of the Psychopath as a Young Woman
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Read more
Dahmer's Not Dead

Dahmer's Not Dead
Read more
Dahmer's Not Dead

Dahmer's Not Dead
Read more